-
1 system of axioms
Большой англо-русский и русско-английский словарь > system of axioms
-
2 system of axioms
Математика: система аксиом -
3 system of axioms
-
4 system of axioms
• sistem aksioma -
5 system of axioms
система аксиомEnglish-Russian dictionary of technical terms > system of axioms
-
6 system of axioms
мат. -
7 system of axioms
Англо-русский словарь по исследованиям и ноу-хау > system of axioms
-
8 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
9 система аксиом
-
10 система аксиом
-
11 sistem aksioma
• system of axioms• axiom system -
12 система аксиом
1) Mathematics: set of axioms, system of axioms2) Information technology: axiom scheme3) Makarov: axiomatic system -
13 система аксиом
axiom scheme мат., set of axioms, system of axiomsРусско-английский научно-технический словарь Масловского > система аксиом
-
14 sistem aksioma
• axiom system; system of axioms
См. также в других словарях:
Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… … Wikipedia
Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… … Wikipedia
Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… … Wikipedia
Number system — This article is about different sets of numbers. For different methods of expressing numbers with symbols, see numeral system. In mathematics, a number system is a set of numbers, (in the broadest sense of the word), together with one or more… … Wikipedia
Hilbert's axioms — are a set of 20 assumptions (originally 21), David Hilbert proposed in 1899 as the foundation for a modern treatment of Euclidean geometry. Other well known modern axiomatizations of Euclidean geometry are those of Tarski and of George… … Wikipedia
Tarski's axioms — Tarski s axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called elementary, that is formulable in first order logic with identity, and requiring no set theory. Other modern axiomizations of… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
List of axioms — This is a list of axioms as that term is understood in mathematics, by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self evidence. Individual axioms are almost always part of a larger axiomatic… … Wikipedia
formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… … Universalium
Viable System Model — The Viable Systems Model, or VSM is a model of the organisational structure of any viable or autonomous system. A viable system is any system organised in such a way as to meet the demands of surviving in the changing environment. One of the… … Wikipedia
Huzita–Hatori axioms — The Huzita–Hatori axioms or Huzita–Justin axioms are a set of rules related to the mathematical principles of paper folding, describing the operations that can be made when folding a piece of paper. The axioms assume that the operations are… … Wikipedia